1. Computer science logic :
المؤلف: Hans Kleine Büning (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
2. Computer science logic : 9th International Workshop, CSL'95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
المؤلف: Hans Kleine Buning, ed.
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1092
3. Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
المؤلف: Hans Kleine Buning, )ed.(
المکتبة: (کرمان)
موضوع: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
4. Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
المؤلف: Hans Kleine Buning, )ed.(
المکتبة: (کرمان)
موضوع: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
5. Computer science logic : 9th international workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
المؤلف: Hans Kleine Buning, )ed.(
المکتبة: (طهران)
موضوع: Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
